From: Jasper St. Pierre <jstpierre@mecheye.net>
Date: Wed, 8 Aug 2012 21:02:35 +0000 (-0300)
Subject: overview: Reduce space between window picker and dash
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~5560
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=3ffeeac577b3cd5d087344106625c5ae8a8341de;p=gnome-shell.git

overview: Reduce space between window picker and dash

Do this in a hacky way by hardcoding this, for now. When we land
search rework, we can fix this.

https://bugzilla.gnome.org/show_bug.cgi?id=582650
---

diff --git a/js/ui/overview.js b/js/ui/overview.js
index 729c33719..fdfc65c50 100644
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -23,8 +23,8 @@ const WorkspaceThumbnail = imports.ui.workspaceThumbnail;
 // Time for initial animation going into Overview mode
 const ANIMATION_TIME = 0.25;
 
-// We split the screen vertically between the dash and the view selector.
-const DASH_SPLIT_FRACTION = 0.1;
+// XXX -- grab this automatically. Hard to do.
+const DASH_MAX_WIDTH = 96;
 
 const DND_WINDOW_SWITCH_TIMEOUT = 1250;
 
@@ -502,7 +502,7 @@ const Overview = new Lang.Class({
         let searchX = (primary.width - searchWidth) / 2;
         let searchY = contentY + this._spacing;
 
-        let dashWidth = Math.round(DASH_SPLIT_FRACTION * primary.width);
+        let dashWidth = DASH_MAX_WIDTH;
         let dashY = searchY + searchHeight + this._spacing;
         let dashX;
         if (rtl) {